1. Logic for programming, artificial intelligence, and reasoning : 8th international conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 : proceedings
پدیدآورنده : Robert Nieuwenhuis, Andrei Voronkov )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic programming
رده :
QA
76
.
L28
Vol
.
2250
